COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	apply.ax[e81,jmc]	EKL axioms for apply and eval for making recursive function defs
C00004 ENDMK
C⊗;
apply.ax[e81,jmc]	EKL axioms for apply and eval for making recursive function defs
y.ax[e81,jmc]		EKL axioms for forms of Y combinator
ekl.not[e81,jmc]		Comments on ekl
elepha.sum[e81,jmc]	Summary of Elephant paper for POPL
featur[e81,jmc]		Features of situations
oneway[e81,jmc]		advocating one way space missions
collec.pr[e81,jmc]	prolog program collecting the p(X) into a list
query.pr[e81,jmc]	Queries about prolog
inspir[e81,jmc]		Inspirational lecture to new Stanford students
frpres[e81,jmc]		MARSEILLES SPEECH TO FRENCH UNIVERSITY PRESIDENTS
eval.pr[e81,jmc]	original prolog program for eval
eval2.pr[e81,jmc]	prolog program for eval using cuts to get unique answer
eval3.pr[e81,jmc]	prolog program for eval using no cut but or and friends
examp1.pr[e81,jmc]	examples of prolog programs
cerf.pro[e81,jmc]	draft proposal to Cerf to support verification work
kyoto.pub[e81,jmc]	version of Recursive Programs as First order ...
maps[e81,jmc]		Map coloring and the Kowalski doctrine
maps.pr[e81,jmc]	prolog programs for coloring maps
space[e81,jmc]		Blast for \bboard in favor of space
france[e81,jmc]		Transcription of some notes from French trip
color.ax[e81,jmc]	discussion of axioms for coloring maps
transp.ess[e81,jmc]	Essay on transportation